Type safety - PDFSEARCH.IO - Document Search Engine

Type safety
Results: 3274

#	Item
41	MINIATURE COSPAS/SARSAT 406 MHz PERSONAL LOCATOR BEACON (PLB) MicroPLBTM, Type GXL, MODEL No. MBT, GXL Specifications SIZE WEIGHT BATTERY PACK Add to Reading List Source URL: www.micro-mono.com Language: English - Date: 2009-03-13 21:57:17 Beacons Rescue equipment Rescue Law of the sea CanadaSoviet Union relations International relations Emergency position-indicating radiobeacon station International Cospas-Sarsat Programme Safety Global Positioning System Knowledge
42	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
43	Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian1 Justus Matthiesen1 James Lingard2 Kyndylan Nienhuis1 David Chisnall1 Robert N.M. Watson1 Peter Sewell1 1 University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-06-11 11:44:23 Software engineering Computing Computer programming Data types C Pointer Type safety Null pointer Undefined behavior Reference Aliasing Struct
44	MarchBriefing The Trans-Atlantic Trade and Investment Partnership (TTIP) - Safeguarding Safety 1. Add to Reading List Source URL: archive.etsc.eu Language: English - Date: 2014-03-31 08:47:13 Transport Safety Product certification Road safety New car assessment programs Type approval Road traffic safety Automobile safety Euro NCAP Seat belt Crash test Motor vehicle type approval
45	Microsoft Word - nprm PART 145 Comparison.doc Add to Reading List Source URL: www.aea.net Language: English - Date: 2016-03-10 22:11:09 Cryptography Aircraft maintenance Aeronautics Aviation Type certificate Professional certification Public key certificate European Aviation Safety Agency Aero Engineers Australia
46	Beacon Type Approval Process Beacon Manufacturers Workshop 2015 Jesse Reich NOAA/SARSAT Ground Systems Engineer Add to Reading List Source URL: www.sarsat.noaa.gov Language: English - Date: 2015-06-03 09:05:30 Rescue equipment Rescue Law of the sea Beacons PakistanSoviet Union relations International relations Safety Emergency position-indicating radiobeacon station International Cospas-Sarsat Programme Government Type approval Pakistan Mission Control Centre
47	0 U.S Department of Transportation I Add to Reading List Source URL: aeroleds.com Language: English - Date: 2015-01-28 17:14:49 Aeronautics Aviation Transport Aviation in the United States Federal Aviation Administration Aviation safety Airworthiness Federal Aviation Regulations Cessna Type certificate Parts Manufacturer Approval
48	ODS Pilot Assembly: ODS Pilot Assemblies are not convertible from one type of gas to another! Buy an ODS Pilot Assembly Oxygen Detection Safety Pilot (ODS Pilot) (figure 4) this technology has been adopted by all US manu Add to Reading List Source URL: desatech.com Language: English - Date: 2016-04-04 11:54:41 Chemistry Sensors Temperature control Thermocouple Thermoelectricity Thermometers Pilot light Propane Flame Flame supervision device
49	Civil Aviation Safety Regulations 1998 Statutory Rules 1998 No. 237 as amended made under the Civil Aviation Act 1988 Add to Reading List Source URL: www.aea.net Language: English - Date: 2014-07-22 13:27:20 Foreign relations Law Government Aircraft maintenance Aviation law Federal Aviation Administration Airworthiness certificate Airworthiness Type certificate Civil aviation Chicago Convention on International Civil Aviation Flight permit
50	Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:49 Software engineering Computing Computer programming Type theory Data types Object-oriented programming languages Scripting languages Object-oriented programming Gradual typing Type system Type safety ActionScript